ci: Turn off man pages

There is little to test there, and excluding them slightly reduces the
dependencies in the CI image.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49eb6e32bf4b31e0aec45534aadc657307aebfb5..a284b75b7c66630d3d699f6d1e90cd2e9199c303 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -54,7 +54,7 @@ build:
         - meson mutter mutter/build --prefix=/usr -Dtests=false
         - ninja -C mutter/build install
     script:
-        - meson . build -Dbuiltype=debugoptimized
+        - meson . build -Dbuiltype=debugoptimized -Dman=false
         - ninja -C build
         - ninja -C build install
     <<: *only_default